widget: deprecate interior-focus style property
authorCosimo Cecchi <cosimoc@gnome.org>
Thu, 1 May 2014 17:36:42 +0000 (19:36 +0200)
committerCosimo Cecchi <cosimoc@gnome.org>
Fri, 9 May 2014 18:02:42 +0000 (11:02 -0700)
commitb03c22e0c990be02b08f71a33cb0816a8bde20f5
treedea647211c5314dbb2c03014a8735276307f079f
parentce8846521eae9fb2ef1c99a60235e3feb7b6562f
widget: deprecate interior-focus style property

Nothing uses it anymore inside GTK.
gtk/gtkwidget.c